In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
651	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Higher-order functions Recursion Map Function First-order logic Functor Fold Mizar system Sheaf Software engineering Computing Declarative programming
652	Datatype-Generic Programming in Haskell Andres Löh (thanks to José Pedro Magalhães, Simon Peyton Jones and many others) Skills Matter “In the Brain” – 9 April 2013 Copyright © 2013 Well-Typed LLP Add to Reading List Source URL: kosmikus.org Language: English - Date: 2013-04-10 05:28:11 Type theory Data types Generic programming Haskell Type system Type class Enumerated type C Glasgow Haskell Compiler Software engineering Programming language theory Computing
653	Types in Functional Programming Languages Andres L¨oh Department of Information and Computing Sciences Utrecht University Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:15 Data types Type theory Program analysis Type system Programming language Subroutine C Array data type Algorithm Software engineering Computing Computer programming
654	Sequential decomposition of sequential dynamic teams: applications to real-time communication and networked control systems by Aditya Mahajan A dissertation submitted in the partial fulfillment Add to Reading List Source URL: www.ece.mcgill.ca Language: English - Date: 2013-01-02 09:19:59 Stochastic control Communication Control engineering Networked control system Channel Information theory Markov decision process Multi-agent system Optimal design Statistics Markov processes Dynamic programming
655	Enable greater level of automation and intelligent decisioning to achieve flow-through provisioning Solution Brief IBM ILOG in Service Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:16 Data modeling Rule engines Constraint programming ILOG Telecommunications Business rule management system IBM WebSphere Provisioning IBM Computing Technology Electronics
656	All I Really Need to Know about Pair Programming I Learned In Kindergarten (submitted to Communications of the ACM) Laurie A. Williams University of Utah [removed] Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-06-11 09:32:10 Extreme programming Pair programming Software review Computer programming Programmer Software bug Assignment Ada System programming Software development Computing Software engineering
657	Preprint -- final version in Concurrency and Parallelism, Programming, Networking, and Security, eds. J. Jaffar and R. Yap, Springer, 1996, pp[removed]Cryptographic Postage Indicia J. D. Tygar Add to Reading List Source URL: tygar.net Language: English - Date: 2006-03-31 18:42:55 Cultural history Information Based Indicia Indicia United States Postal Service Postage meter Franking Postage stamp Envelope Mail Philately Postal system Terminology
658	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
659	Members of Padeborn University were quick to recognize the potential of the Typo3 Open Source Content Management System. Easy to learn and use, no license costs and diverse expansion possibilities make Typo3 the ideal CM Add to Reading List Source URL: www.realobjects.com Language: English - Date: 2013-04-30 03:54:22 PHP programming language PHP frameworks Cross-platform software TYPO3 Typo Paderborn Ter Plug-in Software Blog software Content management systems
660	Power Bumps And Generator Starts The data center standby generator start delay programming dilemma By Michael Fluegeman The generator start time delay programming adjustment is controversial in the data center industry. Add to Reading List Source URL: plannet.com Language: English - Date: 2013-10-31 21:00:55 Concurrent computing Distributed computing Uninterruptible power supply Emergency power system Electric generator Data center Generator Recreational vehicle Battery room Fault tolerance Computing Electric power

UPDATE